例句與造句

1. Many people research how to find value of y from resolution proof trees
   有許多人研究從歸結(jié)證明樹確定y的值的方法。
2. It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure . and the partial correctness of the extracted procedure is proved
   這一方法的特點(diǎn)是，抽取算法的時(shí)間、空間復(fù)雜度都是線性的，并且抽取算法本身十分簡單，易于實(shí)現(xiàn)。
3. It's difficult to find resolution proof tree in a sentence. 用resolution proof tree造句挺難的